Fake Lean And All The Answers